401. Context-free grammars : covers, normal forms, and parsing
Author: Nijholt, Anton
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages,، Parsing )Computer grammar(
Classification :
QA
267
.
3
.
N54
402. Contrastive analysis in language :
Author: edited by Dominique Willems [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Contrastive linguistics.,Linguistique contrastive.,Ableitung Linguistik,Contrastive linguistics.,Grammatische Kategorie.,Kontrastive Linguistik.,linguistique contrastive, congrès.,linguistique historique, congrès.,Methodologie.,Morphologie Linguistik,Pragmatik.,Semantik.,Syntax.,Textlinguistik.,typologie (linguistique), congrès.,Wortstellung.,Gent 2001, 7
Classification :
P134
.
C598
2004
403. Contributions of romance languages to current linguistic theory /
Author: Deborah L. Arteaga, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Romance languages-- Phonology.,Romance languages-- Syntax.,Romance languages-- Phonology.,Romance languages-- Syntax.
Classification :
PC201
404. Correspondence Principle and Growth of Science.
Author: W Krajewski
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QC174
.
17
.
C5
W573
2011
405. Cross Language Information Transfer Between Modern Standard Arabic and Its Dialects - A Framework for Automatic Speech Recognition System Language Model
Author: Abdulhameed, Tiba Zaki
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linguistics
406. Cross Language Information Transfer Between Modern Standard Arabic and Its Dialects - A Framework for Automatic Speech Recognition System Language Model
Author: Abdulhameed, Tiba Zaki
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linguistics
407. Current trends in theoretical computer science: essays and tutorials
Author: edited by G. Rozenberg, A. Salomua
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Machine theory,، formal languages
Classification :
QA
267
.
C87
408. Datalog reloaded :
Author: Oege de Moor...[et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data loggers, Congresses.,Deductive databases, Congresses.
Classification :
QA76
.
9
.
D34
D38
2010
409. Declarative agent languages and technologies IX :
Author: Chiaki Sakama [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming languages -- Congresses.,Informatique.,Intelligent agents (Computer software) -- Congresses.
Classification :
QA76
.
76
.
I58
C453
2012
410. Deduction and declarative programming /
Author: Peter Padawitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming.
Classification :
QA76
.
615
.
P33
1992eb
411. Deduction and declarative programming /
Author: Peter Padawitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming.
Classification :
QA76
.
615
.
P33
1992eb
412. Definite Spans and Blocking in Classifier Languages
Author: Jenks, Peter,Jenks, Peter
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
413. Definition of programming languages by interpreting automata
Author: Ollongren, Alexander.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
Classification :
QA
76
.
7
.
O39
414. Definition of programming languages by interpreting automata
Author: / Alexander Ollongren
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Formal languages,Sequential machine theory
Classification :
QA
76
.
7
.
O39
415. Descriptional Complexity of Formal Systems
Author: \ Jeffrey Shallit , Alexander Okhotin (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
Classification :
QA
76
.
9
.
D4
2015
E-Book
,
416. Descriptional complexity of formal systems :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal languages ; Congresses. ;
417. Descriptional complexity of formal systems :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal languages ; Congresses. ;
418. Descriptional complexity of formal systems :
Author: Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
419. Descriptional complexity of formal systems :
Author: Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
Classification :
QA267
.
3
.
D34
2011
420. Design, Specification and Verification of Interactive Systems '96 :
Author: edited by Francois Bodart, Jean Vanderdonckt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA76
.
9
.
I58
E358
1996
